Issue476d.agda:12,5-8
Not in scope:
  M.R
  at Issue476d.agda:12,5-8
when scope checking M.R
